Applications of an Extended Set Constraint Solver

1 {fa,pb}@di.fct.unl.pt Departamento de Informática, Universidade Nova de Lisboa 2825-114 Caparica — Portugal Abstract. In this paper we present some applications of a set constraint solver, Cardinal, that extends constraint solving to set variables with attached set functions and with special inferences over them. In particular, diagnosis of digital circuits and set covering problems are addressed with experimental results which are compared to other approaches to attest the expressiveness and efficiency of Cardinal. Future extensions of Cardinal are also discussed for other applications such as timetabling and other scheduling problems.